Constraint algorithm - PDFSEARCH.IO - Document Search Engine

Constraint algorithm
Results: 320

#	Item
71	cKanren miniKanren with Constraints Claire E. Alvis Jeremiah J. Willcock Kyle M. Carter William E. Byrd Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:23:47 Computer programming Constraint logic programming Function Constraint satisfaction problem FO Free variables and bound variables Sheaf AC-3 algorithm Constraint satisfaction Constraint programming Software engineering Mathematics
72	Super Solutions in Constraint Programming Emmanuel Hebrard, Brahim Hnich, and Toby Walsh? Cork Constraint Computation Centre University College Cork {e.hebrard, brahim, tw}@4c.ucc.ie Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:31 Mathematics Constraint satisfaction Local consistency Constraint optimization Mathematical optimization Polynomial Function Boolean satisfiability problem AC-3 algorithm Constraint programming Software engineering Theoretical computer science
73	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:23 Automated theorem proving Constraint programming Formal methods Logic in computer science Electronic design automation DPLL algorithm Satisfiability Modulo Theories Boolean satisfiability problem Resolution Theoretical computer science Mathematics Mathematical logic
74	Journal of Artificial Intelligence Research520 Submitted 10/08; published 3/09 Exploiting Single-Cycle Symmetries in Continuous Constraint Problems Add to Reading List Source URL: jair.org Language: English - Date: 2009-03-31 16:57:43 Geometry Symmetry in mathematics Group Algorithm PROPT Local consistency Symmetry Mathematics Theoretical physics
75	Constraint Programming Emmanuel Hebrard Toulouse Outline Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-17 03:07:15 Computing Local consistency Backtracking Search algorithm Linear programming Constraint satisfaction Hidden transformation Constraint programming Software engineering Computer programming
76	Recent Advances in Solving Combinatorial Optimization Tasks over Graphical Models Rina Dechter, In this talk I will present state of the art algorithms for solving combinatorial optimization tasks defined over graphica Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2012-12-29 16:16:29 Mathematics Operations research Mathematical optimization Combinatorial optimization Algorithm Search algorithm Local search Local consistency Applied mathematics Theoretical computer science Constraint programming
77	Journal of Artificial Intelligence Research Submitted 04/08; publishedAsynchronous Forward Bounding for Distributed COPs Amir Gershman Add to Reading List Source URL: jair.org Language: English - Date: 2009-02-10 12:35:28 Computing Local consistency Constraint optimization Distributed constraint optimization Constraint satisfaction problem Backjumping Assignment Search algorithm Branch and bound Constraint programming Software engineering Computer programming
78	Problem Solving in Graphical models Rina Dechter, Donald Bren School of Information and Computer Science, UC-Irvine Graphical models, including constraint networks, belief networks, Markov random fields and influence Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2012-12-28 02:42:27 Theoretical computer science Bayesian statistics Networks Probability and statistics Applied mathematics Bayesian network Probabilistic logic Algorithm Decomposition method Statistics Graphical models Statistical models
79	SimpleSVM A SVM Training Algorithm S.V.N. Vishwanathan National ICT Australia and Add to Reading List Source URL: www.stat.purdue.edu Language: English - Date: 2009-08-21 20:39:08 Active set Constraint Duality Support vector machine Mathematical optimization Mathematical analysis Numerical analysis
80	COMPSCI 276 Homework Assignment 5 Fall 2014 Instructor: Rina Dechter Due:Monday, November 17th Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2014-11-07 17:37:34 Decomposition method Directed acyclic graph Bayesian network Hybrid algorithm Constraint programming Graph theory Theoretical computer science

UPDATE